21. Learning and Coordination :
Author: by Steven H. Kim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Mechanical engineering.
Classification :
QA76
.
87
B978
1994


22. Logic and Complexity
Author: by Richard Lassaigne, Michel Rougemont.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Logic design.
Classification :
QA267
.
7
B975
2004


23. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975


24. Mathematical Foundations of Computer Science 1989 :
Author: edited by Antoni Kreczmar, Grazyna Mirkowska.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
9
.
M35
E358
1989


25. Modelling Computing Systems :
Author: by Faron Moller, Georg Struth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Logic design.,Computational complexity.,Computer science.,Logic design.
Classification :
QA76
.
63


26. Operations Research and Discrete Analysis
Author: by Alekseĭ D. Korshunov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.

27. Proof and system-reliability
Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.

28. Sustainable design of complex industrial and energy systems under uncertainty
Author:
Library: ()
Subject:
